\asegura{mismos(result, 
\\ \comp{x}{x, y \selec sacarRepetidos(cadenas(m)), x \neq y, |provinciasXCadena(m, x)| \leq |provinciasXCadena(m, y)|)}}
